Introduce and Prove Cantor's Theorem